Safety Case Development with SBVR-Based Controlled Language
نویسندگان
چکیده
منابع مشابه
A Controlled Natural Language Interface to Class Models
The available approaches for automatically generating class models from natural language (NL) software requirements specifications (SRS) exhibit less accuracy due to informal nature of NL such as English. In the automated class model generation, a higher accuracy can be achieved by overcoming the inherent syntactic ambiguities and semantic inconsistencies in English. In this paper, we propose a...
متن کاملSBVR's Approach to Controlled Natural Language
The "Semantics of Business Vocabulary and Business Rules" (SBVR 1.0) is one of the initial specifications in the OMG's family of business-focused specifications. SBVR covers two aspects: Vocabulary (natural language ontology) and Rules (elements of guidance that govern actions). However, SBVR does not standardize any particular language for expressing vocabularies and rules. Instead, SBVR uses ...
متن کاملOn Specifying Requirements Using a Semantically Controlled Representation
Requirements are typically specified in natural languages (NL) such as English and then analyzed by analysts and developers to generate formal software design/model. However, English is ambiguous and the requirements specified in English can result in erroneous and absurd software designs. We propose a semantically controlled representation based on SBVR for specifying requirements. The SBVR ba...
متن کاملGenerating UML Class Models from SBVR Software Requirements Specifications
SBVR is the recent standard, introduced by OMG that can be used to capture software requirements in a natural language (NL) such as English. In this paper, we present a novel approach that can translate SBVR specification of software requirements into UML class models. We want to generate UML class models from SBVR specifications instead of NL specifications of software requirements as NL to UM...
متن کاملUsing SBVR Profile for Integrating Business Vocabulary with BPMN Process Models
Creation of business vocabulary is the first step in business modelling and development of its supporting information systems. Current CASE tools still lack this capability. The goal of the paper is to allow integrating business vocabulary and business rules with business process models in CASE tools by providing UML profile for this purpose. The idea is demonstrated by a prototype implementing...
متن کامل